program hilbert bahasa Inggris

• hilbert's program

• program:    curriculum; programme; programme, program; login;
• hilbert:    david hilbert; hilbert
• alihragam hilbert:    hilbert transform
• david hilbert:    david hilbert; hilbert
• masalah hilbert:    hilbert's problems
• ruang hilbert:    hilbert space
• program:    curriculum; programme; programme, program; login; charter; political program; computer programme; broadcast; computer program; political platform; platform; program; plan
• ruang hilbert fermion:    fermionic hilbert space
• ruang hilbert untuk dwizarah:    hilbert space for two particles
• ruang hilbert-boson:    bosonic hilben space
• teorema syzygy hilbert:    hilbert's syzygy theorem
• bahasa program:    programming language; computer language; computing language; programing language
• bullrun (program):    bullrun (decryption program)
• contoh program:    programming example
• jenjang program:    program step

• The main goal of Hilbert's program was to provide secure foundations for all mathematics.
  Tujuan utama dari program Hilbert adalah untuk memberikan dasar yang aman untuk semua matematika.
• The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem.
  Kedua hasil ini secara luas, tetapi tidak secara universal, ditafsirkan telah menunjukkan bahwa program Hilbert untuk menghitung himpunan lengkap dan konsisten dari aksioma-aksioma bagi semua matematika adalah tidak mungkin, sehingga memberikan jawaban negatif terhadap soal Hilbert yang kedua.
• It was the goal of Hilbert's program to put all of mathematics on a firm axiomatic basis, but according to Gödel's incompleteness theorem every (sufficiently powerful) axiomatic system has undecidable formulas; and so a final axiomatization of mathematics is impossible.
  Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan Gödel tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang tidak dapat ditentukan; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil.